Compositional Control of Higher Order Assembly Using Synthetic Collagen Peptides
نویسندگان
چکیده
منابع مشابه
Self-assembly of synthetic collagen triple helices.
Collagen is the most abundant protein in animals and the major component of connective tissues. Although collagen isolated from natural sources has long served as the basis for some biomaterials, natural collagen is difficult to modify and can engender pathogenic and immunological side effects. Collagen comprises a helix of three strands. Triple helices derived from synthetic peptides are much ...
متن کاملEfficient and Compositional Higher-Order Streams
Stream-based programming has been around for a long time, but it is typically restricted to static data-flow networks. By introducing first-class streams that implement the monad interface, we can describe arbitrary dynamic networks in an elegant and consistent way using only two extra primitives besides the monadic operations. This paper presents an efficient stream implementation and demonstr...
متن کاملHigher-order logical inference with compositional semantics
We present a higher-order inference system based on a formal compositional semantics and the wide-coverage CCG parser. We develop an improved method to bridge between the parser and semantic composition. The system is evaluated on the FraCaS test suite. In contrast to the widely held view that higher-order logic is unsuitable for efficient logical inferences, the results show that a system base...
متن کاملSelf-assembly of synthetic peptides control conformation and optical properties of a zwitterionic polythiophene derivative.
The optical transitions of a chiral, three-substituted polythiophene with an amino acid function can be tuned by interactions with synthetic peptides. The addition of a positively charged peptide with a random-coil formation will force the polymer to adopt a nonplanar conformation, and the intensity of the emitted light is increased and blue-shifted. After the addition of a negatively charged p...
متن کاملCompositional Model Extraction for Higher-Order Concurrent Programs
The extraction of accurate finite-state models of higher-order or open programs is a difficult problem. We show how it can be addressed using newly developed game-semantic techniques and illustrate the solution with a model-checking tool based on such techniques. The approach has several important advantages over more traditional ones: precise account of inter-procedural behaviour, concise proc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American Chemical Society
سال: 2011
ISSN: 0002-7863,1520-5126
DOI: 10.1021/ja2077894